Separation of Concerns in Semiformal Models for Software Specification by Combining Decomposition and Aspects
نویسنده
چکیده
In this paper we investigate mechanisms for the separation of concerns in semiformal models for software specification. We identify the problems in two typical approaches (Structured Analysis and UML) and present the concepts for separation of concerns in ADORA, a specification language being developed in our research group. ADORA uses hierarchical decomposition of objects as a primary decomposition technique. However, it avoids the problems of a one-dimensional separation of concerns by flexibly combining this decomposition with arbitrary aspects, yielding “base + n concerns”-views of the specification.
منابع مشابه
On the Dominance of Decompositions in Models and their Aspect-Oriented Implementations
Aspect-oriented approaches have commonly advocated separation of concerns. Some approaches have applied this separation in a symmetric fashion, like Hyper/J, whereas some others have relied on asymmetric separation, like AspectJ. The difference in the approaches is that the different concerns play a symmetric role in the former, whereas the latter explicitly includes a conventional implementati...
متن کاملHow to Handle Interacting Concerns?
Concerns in software applications can range from general-purpose concerns such as tracing, synchronization or error handling, to more specific ones such as scheduling in simulation domains or time constraints in real-time systems. An appropriate separation of concerns is supposed to reduce software complexity and improve software evolution, by keeping track of different decomposition criteria (...
متن کاملSemantics Preserving Model Composition
Separation of concerns (SoC) and modularisation are well established strategies for managing complex specifications [1, 2]. However, although software is designed with SoC in mind, the language mechanisms at hand often lead to tangling and scattering of concerns. This has motivated a range of language extensions to support concern specification, such as aspects and subjects in programming and m...
متن کاملAn Aspect-Oriented Design Framework
With Aspect-Oriented Programming (AOP), we see a problem as a collection of different issues, and try to find all issues relevant to the problem. We can therefore manage to achieve an improved separation of concerns in both design, and implementation. The goal of AOP is to decompose a problem into a number of functional components as well as a number of aspects and then composing these componen...
متن کاملDomain and Task Modeling in MIKE
The paper describes the MIKE (Model-based and Incremental Knowledge Engineering) approach for the development of knowledge-based systems (kbs). It integrates semiformal specification techniques, formal specification techniques, and prototyping into a coherent framework. This allows the domain and task model of a kbs to be described on different formalization levels. All activities in the buildi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000